* src/keyboard.c (requeued_events_pending_p): New function
authorTim Ruffing <crypto@timruffing.de>
Wed, 27 Dec 2023 13:29:34 +0000 (14:29 +0100)
committerStefan Monnier <monnier@iro.umontreal.ca>
Sun, 10 Mar 2024 14:40:11 +0000 (10:40 -0400)
commitd6f326452ecc761498d627a365c8014a467812eb
treedf5f9d0fe359e79fcf6324c633803d6b8dc7d50b
parent385a02cffde6d0fd80ff189704ad70cfebc3e8d4
* src/keyboard.c (requeued_events_pending_p): New function

* src/keyboard.c, src/keyboard.h (requeued_events_pending_p): Add
function 'requeued_events_pending_p' (whose name was made available in
the previous commit). As opposed to the previous function with the same
name, the new function covers both command and other events.
* src/keyboard.c (Finput_pending_p): Use the new function.
src/keyboard.c
src/keyboard.h